#include "../gnulib-lib/html-ostream.c"